namespace Resharper.Abstractions.CodeDom.Statements.WhileStatements
{
  using JetBrains.Annotations;
  using JetBrains.ReSharper.Psi.CSharp.Tree;

  /// <summary>Defines the <see cref="WhileStatement"/> class.</summary>
  public class WhileStatement : Statement
  {
    #region Constructors and Destructors

    /// <summary>Initializes a new instance of the <see cref="WhileStatement"/> class.</summary>
    /// <param name="statement">The statement.</param>
    internal WhileStatement([NotNull] IWhileStatement statement) : base(statement)
    {
    }

    #endregion

    #region Properties

    /// <summary>
    /// Gets the internal while statement.
    /// </summary>
    [NotNull]
    internal IWhileStatement InternalWhileStatement
    {
      get
      {
        return (IWhileStatement)this.InternalStatement;
      }
    }

    #endregion
  }
}